Relating two standard notions of secrecy

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Relating Two Standard Notions of Secrecy

Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that sshould never be disclosed while equivalence-based secrecy states that two executions of a protocol with distinct instances for s should be indistinguishable to an attacker. Althoughthe second formulation ensures a higher l...

متن کامل

Relating Coalgebraic Notions of Bisimulation

A labelled transition system can be understood as a coalgebra for a particular endofunctor on the category of sets. Generalizing, we are led to consider coalgebras for arbitrary endofunctors on arbitrary categories. Bisimulation is a crucial notion in the theory of labelled transition systems. We identify four definitions of bisimulation on general coalgebras. The definitions all specialize to ...

متن کامل

The Language of Two Homologous Aesthetic Notions: Sufism and Surrealism

There are hypotheses in the history of human culture and civilization in which we can find undeniable similarities and commonalities among them, despite their vastly different cultural and historical contexts. For example, finding commonalities between the language of two artistic aesthetic hypotheses, Sufism and Surrealism, which are very different from each other in terms of context, time as ...

متن کامل

Two Notions of Naturalism∗

What is philosophical naturalism? Most fundamentally, presumably, it is the view that natural science constrains philosophy, in the following sense. The concerns of the two disciplines are not simply disjoint, and science takes the lead where the two overlap. At the very least, then, to be a philosophical naturalist is to believe that philosophy is not simply a different enterprise from science...

متن کامل

Two Notions of Parsing

The term parsing, derived from Latin pars orationis (parts of speech), was originally used to denote the grammatical explication of sentences, as practiced in elementary schools. The term was later borrowed into computer science and linguistics, where it has acquired a specialized sense in connection with the theory of formal languages and grammars. However, in practical applications of natural...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logical Methods in Computer Science

سال: 2007

ISSN: 1860-5974

DOI: 10.2168/lmcs-3(3:2)2007